Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
721	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
722	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar
723	· Combinators for Bi-Directional Tree Transformations App–1 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:19 Mathematical analysis Mathematics Operator theory Harmonic analysis Partial differential equations Complex analysis Five lemma Lemmas Combinatory logic Differential forms on a Riemann surface Sobolev spaces for planar domains
724	ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS Add to Reading List Source URL: www.ia.urjc.es Language: English - Date: 2009-10-08 06:22:48 Logic Model theory Mathematical logic Abstraction Symbol Interpretation First-order logic Structure Normal distribution Substitution
725	Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-07-27 05:34:26 Model theory Mathematical logic Automated theorem proving Logic programming Logic in computer science Allegory Pullback Substitution Structure Unification Kripke semantics Interpretation
726	C o n n e c t i n g G re a t M i n d s Add to Reading List Source URL: www.cin.ufpe.br Language: English - Date: 2011-09-16 07:48:16 Reasoning Deductive reasoning Programming paradigms Artificial intelligence Automated theorem proving Reasoning system Mathematical logic Knowledge representation and reasoning Computer science Logic programming Inference Natural deduction
727	THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe Add to Reading List Source URL: www.users.miamioh.edu Language: English - Date: 2011-11-30 07:32:02
728	UpSet: Visualization of Intersecting Sets Alexander Lex, Nils Gehlenborg, Hendrik Strobelt, Romain Vuillemot, and Hanspeter Pfister Set$Menu Combina2on$Matrix Set$View Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2015-05-26 14:38:24 Mathematics Binary operations Mathematical logic Set theory Visualization Cardinality Entityrelationship model Union Set Intersection Base Interactive visual analysis
729	Translating Alloy specifications to the point-free style Nuno Macedo Departamento de Informática Universidade do Minho Braga, Portugal Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:42 Logic Mathematical logic Mathematics Abstraction Model theory Relational model Alloy Z notation First-order logic Structure Finitary relation Relational
730	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe